Du réalisme des Recherches logiques1

Recherches pour la détermination du degré des propriétés antigéniques de quelques souches vaccinales du virus de la maladie de Newcastle administrées par voie oculaire à des poulets

Document D'habilitation a Diriger Des Recherches

Habilitationà Diriger Des Recherches Discipline Informatique

Database watermarking techniques allow for hiding in-formation in a database, like a copyright mark. Whilewatermarking methods are numerous in the multi-media setting, databases present various specificities.This work addresses some of them: how to watermarka numerical database while preserving the result of in-teresting aggregate queries, how to watermark a struc-tu...

Mémoire D’habilitation À Diriger Des Recherches

Ce mémoire d'habilitation a pour objet diverses contributions à l'estimation et à l'ap-prentissage statistique dans les modeles en grande dimension, sous différentes hypothèses de parcimonie. Dans une première partie, on introduit la problématique de la statistique en grande dimension dans un modèle générique de régression linéaire. Après avoir passé en revue les dif-férentes méthodes d'estimat...

Mémoire D’habilitation À Diriger Des Recherches

interpretation is a very general theory of the approximation of program semantics, introduced by Patrick Cousot and Radhia Cousot in the late 70s [CC77]. It stems from the observation that, while there exists a wide variety of program semantics, they can be uniformly described as fixpoints of operators in partially ordered structures. This observation extends to the formal methods used to ensur...